DECIDING SOME MALTSEV CONDITIONS IN FINITE IDEMPOTENT ALGEBRAS
نویسندگان
چکیده
منابع مشابه
Deciding some Maltsev conditions in finite idempotent algebras
In this paper we investigate the computational complexity of deciding if a given finite algebraic structure satisfies a certain type of existential condition on its set of term operations. These conditions, known as Maltsev conditions, have played a central role in the classification, study, and applications of general algebraic structures. Several well studied properties of equationally define...
متن کاملOn the Complexity of Some Maltsev Conditions
This paper studies the complexity of determining if a finite algebra generates a variety that satisfies various Maltsev conditions, such as congruence distributivity or modularity. For idempotent algebras we show that there are polynomial time algorithms to test for these conditions but that in general these problems are EXPTIME complete. In addition, we provide sharp bounds in terms of the siz...
متن کاملCharacterizations of Several Maltsev Conditions
Tame congruence theory identifies six Maltsev conditions associated with locally finite varieties omitting certain types of local behaviour. Extending a result of Siggers, we show that of these six Maltsev conditions only two of them are equivalent to strong Maltsev conditions for locally finite varieties. Besides omitting the unary type [24], the only other of these conditions that is strong i...
متن کاملOn Some Complexity Problems in Finite Algebras
Dedicated to my wife, Regina, with my everlasting love. ii ACKNOWLEDGMENTS I would like to express my gratitude to a number of people without whose support this thesis would not have been possible. I could not possibly mention all of them. First and foremost I would like to thank my advisor, Professor Ralph McKenzie. I would like to thank him for all the seminars I had the privilege to attend, ...
متن کاملStructure of Locally Idempotent Algebras
It is shown that every locally idempotent (locallym-pseudoconvex) Hausdorff algebra A with pseudoconvex vonNeumannbornology is a regular (respectively, bornological) inductive limit of metrizable locallym-(kB-convex) subalgebras AB of A. In the case where A, in addition, is sequentially BA-complete (sequentially advertibly complete), then every subalgebraAB is a locally m-(kB-convex) Fréchet al...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2020
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2019.73